DSpot: Test Amplification for Automatic Assessment of Computational Diversity

Context: Computational diversity, i.e., the presence of a set of programs that all perform compatible services but that exhibit behavioral differences under certain conditions, is essential for fault tolerance and security. Objective: We aim at proposing an approach for automatically assessing the presence of computational diversity. In this work, computationally diverse variants are defined as (i) sharing the same API, (ii) behaving the same according to an input-output based specification (a test-suite) and (iii) exhibiting observable differences when they run outside the specified input space. Method: Our technique relies on test amplification. We propose source code transformations on test cases to explore the input domain and systematically sense the observation domain. We quantify computational diversity as the dissimilarity between observations on inputs that are outside the specified domain. Results: We run our experiments on 472 variants of 7 classes from open-source, large and thoroughly tested Java classes. Our test amplification multiplies by ten the number of input points in the test suite and is effective at detecting software diversity. Conclusion: The key insights of this study are: the systematic exploration of the observable output space of a class provides new insights about its degree of encapsulation; the behavioral diversity that we observe originates from areas of the code that are characterized by their flexibility (caching, checking, formatting, etc.).Comment: 12 page

On the Credibility of the Irish Pound in the EMS

This paper assesses the degree of credibility of the Irish Pound in the European Monetary System between 1983 and 1997. Different credibility indicators proposed in the literature are used to measure agents’ perceptions of the credibility of the ERM commitment in an attempt to distinguish between events stemming from problems in the ERM itself and those that appear to have been exclusive to Ireland.

Protocol for a systematic scoping review of reasons given to justify the performance of randomised controlled trials.

IntroductionRandomised controlled trials (RCTs) are widely viewed to generate the most reliable medical knowledge. However, RCTs are not always scientifically necessary and therefore not always ethical. Unfortunately, it is not clear when an RCT is not necessary or how this should be established. This study seeks to systematically catalogue justifications offered throughout the medical and ethics literature for performing randomisation within clinical trials.Methods and analysisWe will systematically search electronic databases of the medical literature including MEDLINE, EMBASE, Cochrane Database of Systematic Reviews, Cochrane Clinical Trials Register, Web of Science Proceedings, ClinicalTrials.gov; databases of philosophical literature including Philosopher's Index, Phil Papers, JSTOR, Periodicals Archive Online, Project MUSE, National Reference Centre for Bioethics; the library catalogue at the University of Ottawa; bibliographies of retrieved papers; and the grey literature. We will also pursue suggestions from experts in the fields of medical ethics, philosophy and clinical trial methodology. Article screening, selection and data extraction will be performed by two independent reviewers based on prespecified inclusion/exclusion criteria. A third reviewer will be consulted to resolve any discrepancies. We will then extract the reasons given to justify randomisation using methodology established to extract data in a defensible, systematic manner. We will track the reasons given, their frequency of use and changes over time. Finally, using grounded theory, we will combine the reasons into broader themes. These themes will form the foundation of our subsequent analysis from qualitative and quantitative perspectives. This review will map existing arguments that clinicians, ethicists and philosophers use to ethically justify randomisation in clinical trials.Ethics and disseminationNo research ethics board approval is necessary because we are not examining patient-level data. This protocol complies with the reported guidance for conducting systematic scoping reviews. The findings of this paper will be disseminated via presentations and academic publication. In a subsequent phase of this research, we hope to engage with stakeholders and translate any recommendations derived from our findings into operational guidelines

Some Applications of the Lee-Yang Theorem

For lattice systems of statistical mechanics satisfying a Lee-Yang property (i.e., for which the Lee-Yang circle theorem holds), we present a simple proof of analyticity of (connected) correlations as functions of an external magnetic field h, for Re h > 0 or Re h < 0. A survey of models known to have the Lee-Yang property is given. We conclude by describing various applications of the aforementioned analyticity in h.Comment: 16 page